PUC-Logic embedding of Lewis' Deontic Logics
نویسندگان
چکیده
We present a embedding of Lewis Deontic logics in PUC-Logic. We achieve this by representing the very basic CO logic and showing its relative completeness.
منابع مشابه
Automated Deduction for Deontic Logics: Laying the Foundations of Legal Expert Systems
ABSTRACT: Deontic logic can be used to formalise legal rules. The automation of reasoning in deontic logic can therefore be used as the basis of a legal expert system. In this paper we investigate the automation of deontic logic using tableau calculi for modal logics. The correspondance between the deontic and modal logics is outlined and the tableau for the modal logics used in the prover are ...
متن کاملA Deontic Counterpart of Lewis's S1
In this paper we investigate non-normal modal systems in the vicinity of the Lewis system S1. It might be claimed that Lewis’s modal systems (S1, S2, S3, S4 and S5) are the starting point of modern modal logics. However our interests in the Lewis systems and their relatives are not (merely) historical. They possess certain syntactical features and their frames certain structural properties that...
متن کاملDeontic Logics for Modeling Behavioural Variability
We discuss the application of deontic logics to the modeling of variabilities in product family descriptions. Deontic logics make it possible to express concepts like permission and obligation. As a first result of this line of research, we show how a Modal Transition System, a model that has recently been proposed as an expressive way to deal with behavioural variability in product families, c...
متن کاملAction negation and alternative reductions for dynamic deontic logics
Dynamic deontic logics reduce normative assertions about explicit complex actions to standard dynamic logic assertions about the relation between complex actions and violation conditions. We address two general, but related problems in this field. The first is to find a formalization of the notion of ‘action negation’ that (1) has an intuitive interpretation as an action forming combinator and ...
متن کاملPossible World Semantics for Defeasible Deontic Logic
Defeasible Deontic Logic is a simple and computationally efficient approach for the representation of normative reasoning. Traditionally defeasible logics are defined proof theoretically based on the proof conditions for the logic. While several logic programming, operational and argumentation semantics have been provided for defeasible logics, possible world semantics for (modal) defeasible lo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/1405.7285 شماره
صفحات -
تاریخ انتشار 2014